An Interpretation of Typed Concurrent Objects in the Blue Calculus Draft
نویسنده
چکیده
We propose an interpretation of a typed concurrent calculus of objects (conc&) based on the model of Abadi and Cardelli's imperative object calculus. The target of our interpretation is a version of the blue calculus, a variant of the-calculus that directly contains the-calculus, with record and rst-order types. We show that reduction and type judgements can be derived in a rather simple and natural way, and that our encoding can be extended to self-typess and synchronisation primitives. We also prove some equational laws on objects.
منابع مشابه
An Interpretation of Typed Concurrent Objects in the Blue Calculus
We propose an interpretation of a typed concurrent calculus of objects based on the imperative object calculus of Abadi and Cardelli. The target of our interpretation is a version of the blue calculus, a variant of the π-calculus that directly contains functions, with record and firstorder types. We show that reductions and type judgments are derivable in a rather simple and natural way, and th...
متن کاملConcurrent Objects in the Blue Calculus
INRIA Sophia-Antipolis Abstract. We describe a model of concurrent objects based on the blue calculus ( ?), a typed variant of the asynchronous -calculus in which the notion of function is directly embedded. We propose a definition for a simple concurrent object-based calculus and show how objects can be translated in ?. We also present the type system for objects derived from our definition an...
متن کاملTyped -calculus at Work: a Proof of Jones's Parallelisation Transformation on Concurrent Objects
Clii Jones Jon93a] has raised the challenge of how to prove the validity of a certain transformation that increases the concurrent activity in a system of concurrent objects. We present a proof of this transformation that uses a typed-calculus and typed behavioural equivalences. Our type system is that for receptiveness; it guarantees that the input-end of certain channels is always ready to re...
متن کاملPict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding stron...
متن کاملTyped Concurrent Objects
Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed objectoriented concurrent programming language. The basic calculus incorporates the notions of asynchronous labelled messages, concurrent objects composed of labelled methods, and a form of abstraction on processes allowing in particular to declare polymo...
متن کامل